<style>
.function-execution-context-list {
  margin: 0;
  padding: 0;
  overflow: auto;
}

.function-execution-context {
  border: 1px solid black;
  font-family: 'DejaVu Sans Mono', 'Lucida Console', 'Menlo', 'Monaco', monospace;
  padding: 4px 6px;
  margin: 0 4px;
}

.function-execution-context-call {
  color: gray;
}

.function-execution-context-call::before {
  content: ' call: ';
}

.function-execution-context-list li:first-child {
  font-weight: bold;
}
</style>
